the_w:world{i:l}. fair-fifo{i:l}(the_w)  {i'} 

latex

Definitions	False, S  T, P  Q, A  B, x:A. B(x), i  j , A c B, Msg, A, P  Q, , P & Q, FairFifo, , t  T, x:A. B(x), {T}
Lemmas	world wf, w-discrete-constraint wf, w-atom-constraint wf, w-machine-constraint wf, hd wf, w-queue wf, length wf1, ge wf, ldst wf, w-isrcvl wf, int inc rationals, qadd wf, le wf, w-s wf, w-vartype wf, rationals wf, w-a wf, w-isnull wf, assert wf, mlnk wf, w-M wf, Msg wf, w-m wf, w-onlnk wf, w-Msg wf, lsrc wf, not wf, IdLnk wf, nat wf, Id wf, w-msg wf, assert-w-isrcvl